/**
 * 
 */
package controller.xml;

/**
 * Status of a {@link MiniSatParameterXMLHandler}.
 * 
 * @author GRONOWSKI Stephane svan001@aol.com
 * 
 *         igsat 2010
 * 
 */
public enum MiniSatParameterXMLStatus {
	NONE, SOLVER_PARAMETER, PRE, ASYMM, RCHECK, GROW, POLARITY, DECAY, RNDFREQ, VERBOSITY;
}
